== p.2.2 

latex

---

clarification:

p == p.2.2 

latex

Up	poset sig object directory
Wellformedness Lemmas	set le wf
Definitions	t.2